perm filename ABBOTT[1,JRA] blob
sn#005869
filedate 1972-10-18 generic text, type T, neo UTF8
00100 I1: (a⊗b)⊗a = a; 00200 I2: (a⊗b)⊗b=(b⊗a)⊗a; 00300 I3: a⊗(b⊗c)=b⊗(a⊗c); 00400 ;